航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

螺旋桨滑流对发动机进气道气动性能的影响

针对螺旋桨/短舱/进气道一体化构型,采用多重参考系(MRF)法和滑移网格非定常法进行了数值模拟研究,实现了螺旋桨/短舱/进气道一体化内外流耦合流场仿真,研究了不同工况下螺旋桨滑流对进气道气动性能的影响,并与无桨构型的进气道性能进行了对比,最后通过数值分析解释了螺旋桨桨盘后总压上升的原因。结果表明:多重参考系法和滑移网格非定常法对进气道出口的时均参数的计算结果吻合较好,多重参考系法可用于螺旋桨及进气道的气动性能参数计算;螺旋桨做功使进气道总压恢复系数增高,螺旋桨转速越大,总压恢复系数的增量就越大,且螺旋桨滑流使进气道出口畸变指数明显增大;通过数值分析推导的桨盘前后总压关系公式与仿真结果的误差均在3%以内。      

考虑根铰间隙的空间框架展开机构动力学分析

利用Kane法多体动力学基本理论并考虑根铰间隙影响因素，建立适用于空间柔性太阳电池阵的多框架展开机构多体系统动力学模型，对框架展开机构的展开方式和展开过程进行仿真分析，获得了机构组成部件在展开过程中的几何位置、速度、加速度等动力学特性，分析了框架展开机构各个关节点运动特性、铰链间隙与外部驱动力的相互作用规律。结果表明：合理控制框架展开机构各运动部件的驱动力矩是保证框架按照确定规律展开的必要条件；根铰间隙对太阳电池阵框架展开机构角加速度影响较为明显，进而影响到展开框架展开过程的稳定性，对转角和角速度几乎没有影响；在进行空间太阳电池阵框架展开机构设计时应严格控制铰链轴间隙，并通过动力学仿真校核间隙对太阳电池阵展开过程的影响；研究结果为空间柔性太阳电池阵多模块框架展开机构设计提供指导。     

含多部位损伤搭接结构应力强度因子三维有限元分析

应力强度因子(Stress intensity factor,SIF)分析是含多部位损伤(Multiple site damage,MSD)结构剩余强度和裂纹扩展寿命预测的基础和关键。考虑接触与摩擦,建立了含MSD搭接结构的三维有限元模型,研究了不同裂纹长度、铆钉类型以及损伤模式下裂纹尖端SIF分布情况和变化规律。结果表明,搭接件孔边裂纹Ⅰ型SIF起主导作用,Ⅱ型和Ⅲ型SIF可忽略不计。由于次弯曲、铆钉变形和板厚度等因素,SIF在外表面最小,接触面一侧较大,最大值多位于蒙皮内部。MSD会使裂纹间的干涉作用增强,SIF增大,且裂纹间距离越近干涉作用越强。裂纹长度相同时,埋头铆钉的孔边裂纹SIF积分均值大于平头铆钉,且接触面的SIF埋头铆钉大于平头铆钉,外表面则相反。     

前向数据接入方式对导航星座网络通信性能的影响分析

对采用时分多址轮询建链体制的导航星座星间链路网络，为了指导星间链路网络地面前向数据接入的应用，分析了不同地面前向数据接入方式的星-星-地联合数据交互机制及其对网络通信性能的影响，并结合应用代价给出了综合评价和使用建议。以前向数据最快路径接入方式和固定节点接入方式为代表，分析了星间链路网络与地面间星 星 地联合数据交互机制的特点，明确了两种方式下星间链路网络拓扑路由规划策略的制定原则。通过构建Walker 24/3/1导航星座星间链路网络数据处理模型及典型星地运行场景，对两种地面前向数据接入方式仿真分析了星间链路通信容量和传输时延等网络通信性能，比较分析了通信容量及数据拥塞规律，得出前向数据最快路径接入方式相比于固定节点接入方式在通信性能上有较明显优势的结论。最后，综合给出了两种星 星 地联合数据交互机制的应用性评价,同时给出了在通信容量较低且通信时延要求不高、但可靠性要求较高的应用条件下，可适度采用固定节点接入方式的建议。     

基于特征模型的高超声速飞行器鲁棒控制方法

针对高超声速飞行器不确定性因素多、参数变化范围大的特点,将特征建模理论与多模型自适应控制方法相结合,设计了一种基于特征模型的鲁棒自适应控制方案.将飞行器的飞行包络划分为若干个子空间,基于对象特征模型分别设计各子空间的H,鲁棒控制器,飞行过程中,通过在线辨识得到的特征模型参数对各子控制器进行平滑切换.该控制方案不但可以较...     

双三角机翼前缘涡襟翼的试验研究

通过风洞试验对双三角翼的内涡襟翼及外涡襟翼进行了研究。探讨了影响涡襟翼效率的各种因素及其规律,其中包括机翼前缘区状态、涡襟翼形状、涡襟翼偏度、内、外涡襟翼的搭配以及后缘襟翼效率等。尤其是根据内外翼涡场的不同研究了复合平面形状机翼内涡襟翼与外涡襟翼设计上的特点,为设计双三角翼的涡襟翼提供了参考数据。研究结果表明,正确设计前缘涡襟翼与后缘襟翼可以优化大后掠双三角机翼的低速性能。     

CubeSail: A low cost CubeSat based solar sail demonstration mission

CubeSail is a nano-solar sail mission based on the 3U CubeSat standard, which is currently being designed and built at the Surrey Space Centre, University of Surrey. CubeSail will have a total mass of around 3 kg and will deploy a 5 × 5 m sail in low Earth orbit. The primary aim of the mission is to demonstrate the concept of solar sailing and end-of-life de-orbiting using the sail membrane as a drag-sail. The spacecraft will have a compact 3-axis stabilised attitude control system, which uses three magnetic torquers aligned with the spacecraft principle axis as well as a novel two-dimensional translation stage separating the spacecraft bus from the sail. CubeSail’s deployment mechanism consists of four novel booms and four-quadrant sail membranes. The proposed booms are made from tape-spring blades and will deploy the sail membrane from a 2U CubeSat standard structure. This paper presents a systems level overview of the CubeSat mission, focusing on the mission orbit and de-orbiting, in addition to the deployment, attitude control and the satellite bus.     

高超声速飞行器流动特征分析

在非流线型构件或突起物的扰动效应、高马赫数和低雷诺数极限效应、低湍流度环境效应和由激波或摩擦导致的气动加热效应等4个方面的影响下,未来高超声速飞行器涉及的流动主要表现出这样的特点:典型流动结构强度高、尺度大,如强激波和厚边界层;局部流动结构数量多;激波、膨胀波和边界层结构之间相互干扰十分严重;转捩、压力脉动和一些流动结构对细微因素非常敏感;压力、摩擦应力和热流峰值现象普遍;升阻比屏障难以突破;流场同时依赖大量无量纲参数和有量纲参数,导致实验模拟难度大。本文在回顾传统高超声速流动主要流动现象的基础上,对上述7个方面涉及的典型流动现象的基础研究现状、问题本质和因果关系进行综合描述,讨论如何更有效地面对基础研究和工程实际问题。该文既可为解决典型流动现象中尚未解决的基础研究提供帮助,也可为如何合理地利用有限的已知知识解决工程应用问题提供指导。     

结构隔绝内-外空间的流-热-固耦合仿真应用

为验证和指导高速飞行器的防隔热设计,准确地模拟气动热产生的热量穿透防隔热材料进而影响舱内温度空间分布和时间变化的过程,研究了一种同时求解机体外流场及气动热、机体结构传热及舱内流场温度场仿真计算方法,其中的传热方式包括热传导、热对流及热辐射。采用两套计算模型、两种求解器、一个数据交换文件的计算结构,构建了一种针对流场-热-结构的多场耦合分析方法,实现了对固体隔绝内外流场温度动态变化问题的仿真分析。最后通过计算实例验证了整套计算方法,得到的飞行器舱内温度变化特性能够用于指导高速飞行器的防隔热设计。